дизъюнкция
121КОММУТАТИВНОСТЬ — (позднелат. commutativus – подвергающийся перемещению, от лат. commuto – меняю, обмениваю) – свойство нек рых бинарных (т.е. двучленных, двуместных) логич. и математич. операций или функций, состоящее в том, что результат применения данной… …
122МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ — полная математическая индукция (наз. в математике часто просто полной индукцией; в этом случае это понятие следует отличать от рассматриваемого в нематематич. формальной логике понятия полной индукции), – прием доказательства общих предложений в… …
123МОНОТОННОСТЬ — (от греч. μονότονος – однотонный) – свойство нек рых логических или математических операций (функций), состоящее, грубо говоря, в том, что направление возможного изменения результата операций зависит только от направления изменения того, над чем… …
124ПУСТОЕ — (в математике и логике) – то же, что не содержащее элементов (членов) . Так, П. множество (или класс) – это множество (соответственно класс ), не имеющее ( ий) элементов; П. слово (в формализованных языках математики и математич. логики) – слово …
125БУЛЕВА АЛГЕБРА — булева решетк а, частично упорядоченное множество специального вида. Б. а. наз. дистрибутивная решетка (дистрибутивная структура), имеющая наибольший элемент 1 единицу Б. а., наименьший элемент 0 нуль Б. а. и содержащая вместе с каждым своим… …
126ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …
127ИСТИННОСТНАЯ ТАБЛИЦА — таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. И. т. имеет вид (см. таблицу, Иозначает истина , Л ложь ). Здесь А 1, ...,А п пропозициональные переменные, ( А 1 …
128ЛОГИЧЕСКАЯ ОПЕРАЦИЯ — способ построения сложного высказывания из данных высказываний, при к ром истинностное значение сложного высказывания полностью определяется истинностными значениями исходных высказываний. Примерами Л. о. являются конъюнкция, дизъюнкция,… …
